Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| Empty set: an empty set is a set without an element. Notation ∅ or {}. There is only one empty set, since without an existing element there is no way to specify a specification of the set. The empty set can be specified as such that each element of the empty set is not identical with itself {x x unequal x}. Since there is no such object, the set must be empty. The empty set is not the number zero, but zero indicates the cardinality of the empty set._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
| Author | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
Gottlob Frege on Empty Set - Dictionary of Arguments
IV 13f Nothing/FregeVsHeidegger: the nominalization of nothing leads to paradoxes, e.g. the fact that the empty set is included in every set, as well as the universal class. That does not mean that the universal class is identical with the zero class ("the nothing"). >Paradoxes, >Zero, >Identity, cf. >Nothingness/Heidegger. IV 98 Subset/element/Frege: subsets and elements must always be distinguished. FregeVsSchröder/FregeVsRegion Calculus: zero cannot be included as an element in each class, otherwise it would depend on the respective manifold. Sometimes it would have nothing, sometimes it would be something (e.g. negation of a). Solution: zero as s subset (empty set). >Subsets. IV 100 Zero/0/empty set/FregeVsSchröder/Frege: zero must not be included as an element in another class (> Günter Patzig, Introduction to Frege IV), but only subordinate as a class. (+ IV 100/101). ((s) zero is only included as a subset in any other set, not as an element). IV 102 Empty Class/empty set/unit class/unit set/FregeVsSchröder: it is not necessary to form a unit class - if a is an individual of the manifold, then a is also a class and it is not necessary to admit this class a as a new individual, it is already such. It is not necessary at all that a class should be given as an individual of a manifold. It is not about the subter-relation (sic), but about the sub-relation (sic). ((s) subset, not element.) >Unit set/Quine. IV 108 Zero/Frege/(s): solution: zero corresponds to the class of objects that are unequal to themselves. Then the zero sign has a meaning. Logical form: "Either there are no self-dissimilar objects or they all coincide with P". >Numbers/Frege._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
F I G. Frege Die Grundlagen der Arithmetik Stuttgart 1987 F II G. Frege Funktion, Begriff, Bedeutung Göttingen 1994 F IV G. Frege Logische Untersuchungen Göttingen 1993 |
||
Ed. Martin Schulz, access date 2024-04-28